1. Aspects of computation and automata theory with applications
Author: / editors Noam Greenberg ... [et al.]
Library: Library of College of Science University of Tehran (Tehran)
Subject: Machine theory.,Computational complexity.,Recursion theory.
2. Automata, languages, and programming :
Author: edited by Jan Paredaens.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers) -- Congresses.
3. Automata, languages and programming :
Author: ICALP 93. A. Lingas ... (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Lund <1993>,Theoretische Informatik.
4. Bounded Queries in Recursion Theory
Author: \ William 1. Gasarch, Georgia A. Martin
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science,Information theory,Computational complexity,کامپیوتر,نظریه اطلاعات,پیچیدگی محاسباتی,a03,a04,a05,a03,a04,a05
Classification :
E-Book
,
5. Bounded Queries in Recursion Theory
Author: by William I. Gasarch, Georgia A. Martin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity.,Computer science-- Mathematics.,Computer science.,Information theory.,Mathematics.,Operator theory.
6. Bounded queries in recursion theory
Author: William I. Gasarch, Georgia A. Martin
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computational complexity,، Recursion theory
Classification :
QA
267
.
7
.
G3
7. Complexity, logic, and recursion theory
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computational complexity. ; Recursion theory. ;
8. Computability.
Author: Klaus Weihrauch
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
QA9
.
59
K538
2012
9. Computability, complexity, and languages :
Author: Martin D. Davis, Ron Sigal, Elaine J. Weyuker
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity,Formal languages,Machine theory
Classification :
QA267
.
D38
1994
10. Computational Logic - CL 2000 :
Author: edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer architecture.,Computer science.,Software engineering.
Classification :
QA76
.
9
.
L63
E358
2000
11. Computational logic
Author: edited by Ulrich Berger, Helmut Schwichtenberg.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic.
Classification :
QA76
.
9
.
L63
E358
1999
12. Computing with foresight and industry :
Author: Florin Manea, Barnaby Martin, Daniel Paulusma, Giuseppe Primiero, (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computable functions, Congresses.,Computer science-- Mathematics, Congresses.,Computable functions.,Computer science-- Mathematics.
Classification :
QA9
.
59
.
C67
2019
13. Foundations of computation theory, Proceedings of the 1983 International FCT-Conference Borgholm, Sweden, August 21-27, 1983
Author: Internatinal FCT-confernce, Borgholm, Sweden, 3891
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Recursion theory-- Congresses,، Computational complexity-- Congresses,، Machine theory-- Congresses,، Categories)Mathematics(-- Congresses
Classification :
QA
9
.
6
.
I57
1983
14. Fundamentals of computation theory
Author: / edited by Marek Karpinski
Library: Library of College of Science University of Tehran (Tehran)
Subject: Recursion theory -- Congresses,Computational complexity -- Congresses,Machine theory -- Congresses,Categories (Mathematics) -- Congresses
Classification :
QA
9
.
6
.
I57
1977
15. Fundamentals of computation theory : Proceedings of the 1977 International FCT-Conference Poznan-Kornik, Doland, September 19-23, 1977
Author: / edited by Marek Karpinski
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Recursion theory - Congresse,Computational complexity - Congresses,Machine theory - Congresses
Classification :
QA267
.
I57
1977
16. Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, September 19-23, 1977
Author: edited by Marek Karpinski
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Recursion theory,Congresses ، Computational complexity,Congresses ، Machine theory,Congresses ، Categories )Mathematics(
Classification :
QA
76
.
L4
v
.
56
17. Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, September 19-23, 1977
Author: edited by Marek Karpinski
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Recursion theory,Congresses ، Computational complexity,Congresses ، Machine theory,Congresses ، Categories )Mathematics(
Classification :
QA
76
.
L28
Vol
.
56
18. Graphs and Order
Author: edited by Ivan Rival.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra.,Computational complexity.,Mathematics.
19. Language and Automata Theory and Applications :
Author: edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.,Logic design.
20. Logic and Complexity
Author: by Richard Lassaigne, Michel Rougemont.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity.,Computer science.,Logic design.
Classification :
QA267
.
7
B975
2004
